|
|
Expertní systémy ES pro samostatné studium a jeho vyhodnocení
Novák, Jaroslav ; Honzík, Petr (oponent) ; Jirsík, Václav (vedoucí práce)
Tato diplomová práce obsahuje základní informace ohledně znalostních a expertních systémů. Dále se zde zabývám architekturou expertních systémů a důkladně jsou zde popsány způsoby reprezentace znalostí pro expertní systémy. Ke každému způsobu reprezentace znalostí jsou zde zpracovány demonstrující jednotlivé způsoby reprezentace znalostí. Na závěr je zde popsán vytvořený expertní systém, který ukládá znalosti pomocí rámcové reprezentace znalostí.
|
|
|
Diagnostika problému pomocí expertního systému
Mertlík, Tomáš ; Nagy, Ľuboš (oponent) ; Karásek, Jan (vedoucí práce)
Tato práce obsahuje informace ohledně expertních systémů. Expertní systém je počítačový program, který má za úkol poskytovat expertní rady, rozhodnutí nebo doporučit řešení v konkrétní situaci. V této práci jsou definované čtyři verze expertních systémů, které se v praxi objevují. Popisují se tu základní, přídavné a doplňkové složky expertních systémů. Praktická část této práce se zabývá diagnostikou problému se spouštěním PC pomocí expertního systému a vytvoření aplikace ve vývojovém prostředí JAVA ECLIPSE.
|
|
|
Reprezentace znalostí pro expertní systémy
Lekeš, Pavel ; Sáblík, Václav (oponent) ; Polách, Petr (vedoucí práce)
Tato práce se zabývá možností použití predikátové logiky pro dedukci v systémech umělé inteligence. Výhody logiky prvního řádu jsou zejména v její relativně jednoduché algoritmizaci, kdy lze rozhodnout o platnosti či splnitelnosti věty zapsané pomocí predikátové logiky pouze pomocí formálních pravidel, tedy bez jakékoliv vazby na skutečné denotáty jednotlivých proměnných. V Expertních systémech se predikátová logika využívá k odvození pravdivých formulí ze zadaných axiomů, přičemž se do odvozování zahrnou i nově odvozené pravdivé formule. Jedná se o proces vyhledávání implicitních znalostí z explicitně zadaných axiomů.
|
|
|
Diagnostický expertní systém
Mertlík, Tomáš ; Nagy, Ľuboš (oponent) ; Karásek, Jan (vedoucí práce)
Tato práce obsahuje informace ohledně expertních systémů. Expertní systém je počítačový program, který má za úkol poskytovat expertní rady, rozhodnutí nebo doporučit řešení v konkrétní situaci. V této práci jsou definované čtyři verze expertních systémů, které se v praxi objevují. Popisují se tu základní, přídavné a doplňkové složky expertních systémů. Praktická část této práce se zabývá diagnostikou problému se spouštěním počítače pomocí expertního systému a vytvoření aplikace ve vývojovém prostředí JAVA ECLIPSE.
|
|
|
Metody reprezentace znalostí
Verbík, Josef ; Polách, Petr (oponent) ; Jirsík, Václav (vedoucí práce)
Práce pojednává o metodách reprezentace znalostí v expertních systémech. V práci jsou charakterizovány expertní systémy a jejich historie. Dále jsou popsány jednotlivé druhy expertních systémů a jeho části. Hned za tímto popisem je charakterizována reprezentace znalostí. Tato charakteristika je rozdělena na dvě části. V první části jsou popsány požadavky pro efektivní reprezentaci znalostí. Ve druhé části jsou popsány jednotlivé metody znalostí. Jsou to pravidla, rámce, sémantické sítě a predikátová logika.
|
|
|
Fuzzy Petriho sítě pro expertní systémy
Maksant, Jindřich ; Valenta, Jan (oponent) ; Jirsík, Václav (vedoucí práce)
Tato práce si klade za cíl návrh a praktickou realizaci expertního systému, jehož báze znalostí bude modelovaná fuzzy Petriho sítí. Při návrhu je vycházeno z poznatků teoretického rozboru diagnostického expertního systému a fuzzy Petriho sítí. Tento návrh je pak realizován v programovacím jazyce C#. Jsou popsány funkce programu a provedeny vzorové konzultace při použití různých bází znalostí.
|
|
|
Konceptuální struktury jako nástroj reprezentace znalost
Ferbarová, Gabriela ; Ivánek, Jiří (vedoucí práce) ; Souček, Martin (oponent)
(česky) Konceptuální grafy jsou formálním jazykem reprezentace znalostí, které představil americký odborník na umělou inteligenci John F. Sowa na konci 70. let. Jsou syntézou formalistického a heuristického přístupu k umělé inteligenci a práci se znalostmi. Jejich prostřednictvím je možné reprezentovat význam a znalosti formou, která má preciznost logiky, je člověkem čitelná i srozumitelná a zároveň aplikovatelná v počítačové vědě všeobecně. Konceptuální grafy je možné vyjádřit prostřednictvím logiky prvního řádu, což z nich dělá kvalitní nástroj umělého odvozování. Jejich forma notace CGIF byla standardizována normou ISO/IEC 24707:2007 pod ISO jako jeden ze tří dialektů tzv. obecné logiky, která tvoří rámec skupiny jazyků založených na logice. Konceptuální grafy jsou navíc mapovatelné do jazyků reprezentace znalostí standardizovaných pro sémantický web; OWL a RDF(S). Tato práce ukotvuje teorii konceptuálních grafů do kontextu vědních oblastí lingvistiky, logiky i umělé inteligence. Představuje formalismus navrhnutý Johnem F. Sowou i základní rozšíření, která se objevila v průběhu uplynulých dekád spolu s potřebou zefektivnit reprezentační vlastnost grafů. Závěr práce přináší ilustrativní přehled implementačních využití konceptuálních grafů v praxi. [Autorský abstrakt].
|
|
|
Deep Neural Networks in Image Processing
Ihnatchenko, Luka ; Mrázová, Iveta (vedoucí práce) ; Pilát, Martin (oponent)
Cı́lem této diplomové práce bylo navrhnout vhodnou strategii pro detekci a klasifikaci objektu na mamografických obrázcı́ch. Součástı́ tohoto cı́le je im- plementace experimentálnı́ho frameworku, který bude použit pro přı́pravu dat, učenı́ a porovnánı́ modelů. Při analýze byla použita verze datasetu s useknutými a uplnymi obrazky. Inicializace pomocı́ vah, které byly předběžně přetrénované na obrázcı́ch z jiné domény, zlepšily výkon klasifikátoru. ResNet-34 měl lepšı́ AUC skóre na testovacı́ sadě než ResNet-18. Učenı́ s učitelem a bez učitele s využitı́m minimalizace entropie nemá oproti učenı́ pouze s učitelem žádné významné zlepšenı́. Práce obsahuje vizualizaci predikcı́sı́tě a analýzu representaci znalosti klasifikátoru. Dosažené výsledky pro dataset s useknutými obrázky jsou srovnatelné s výsledky jiného článku, který použil stejnou testovacı́sadu. Pro dataset s úplnými obrázky vysledky trénovánı́ byly suboptimálnı́. 1
|
|
|
Diagnostika problému pomocí expertního systému
Mertlík, Tomáš ; Nagy, Ľuboš (oponent) ; Karásek, Jan (vedoucí práce)
Tato práce obsahuje informace ohledně expertních systémů. Expertní systém je počítačový program, který má za úkol poskytovat expertní rady, rozhodnutí nebo doporučit řešení v konkrétní situaci. V této práci jsou definované čtyři verze expertních systémů, které se v praxi objevují. Popisují se tu základní, přídavné a doplňkové složky expertních systémů. Praktická část této práce se zabývá diagnostikou problému se spouštěním PC pomocí expertního systému a vytvoření aplikace ve vývojovém prostředí JAVA ECLIPSE.
|
|
|
Konceptuální struktury jako nástroj reprezentace znalost
Ferbarová, Gabriela ; Ivánek, Jiří (vedoucí práce) ; Souček, Martin (oponent)
(česky) Konceptuální grafy jsou formálním jazykem reprezentace znalostí, které představil americký odborník na umělou inteligenci John F. Sowa na konci 70. let. Jsou syntézou formalistického a heuristického přístupu k umělé inteligenci a práci se znalostmi. Jejich prostřednictvím je možné reprezentovat význam a znalosti formou, která má preciznost logiky, je člověkem čitelná i srozumitelná a zároveň aplikovatelná v počítačové vědě všeobecně. Konceptuální grafy je možné vyjádřit prostřednictvím logiky prvního řádu, což z nich dělá kvalitní nástroj umělého odvozování. Jejich forma notace CGIF byla standardizována normou ISO/IEC 24707:2007 pod ISO jako jeden ze tří dialektů tzv. obecné logiky, která tvoří rámec skupiny jazyků založených na logice. Konceptuální grafy jsou navíc mapovatelné do jazyků reprezentace znalostí standardizovaných pro sémantický web; OWL a RDF(S). Tato práce ukotvuje teorii konceptuálních grafů do kontextu vědních oblastí lingvistiky, logiky i umělé inteligence. Představuje formalismus navrhnutý Johnem F. Sowou i základní rozšíření, která se objevila v průběhu uplynulých dekád spolu s potřebou zefektivnit reprezentační vlastnost grafů. Závěr práce přináší ilustrativní přehled implementačních využití konceptuálních grafů v praxi. [Autorský abstrakt].
|
host ::
RSS.